FA-presentable Groups and Rings
نویسندگان
چکیده
We consider structures which are FA-presentable. It is known that an FA-presentable finitely generated group is virtually abelian; we strengthen this result by showing that an arbitrary FA-presentable group is locally virtually abelian. As a consequence, we prove that any FA-presentable ring is locally finite; this is a significant restriction and allows us to say a great deal about the structure of FA-presentable rings. In particular, we show that any FA-presentable ring with identity and no zero divisors is finite.
منابع مشابه
Witt rings of quadratically presentable fields
This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...
متن کاملFinite Automata Presentable Abelian Groups
We give new examples of FA presentable torsion-free abelian groups. Namely, for every n > 2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group (Z,+) in which every nontrivial cyclic subgroup is not FA recognizable.
متن کاملAutomatic presentations for semigroups
This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group. We prove that all finitely generated commutative semigroups are FA-presentable. We giv...
متن کاملSubalgebras of FA-presentable algebras
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even wi...
متن کاملUnary FA-Presentable Semigroups
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of interesting decision problems. A particular focus of research has been the classification of those structures of some species that admit automatic presentations. Whilst some successes have been obtained, this appears to be a difficult pro...
متن کامل